Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
661	Inferring Synchronization under Limited Observability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Abstract. This paper addresses the problem of automatically inferring synchronization for c Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:50 Automata theory Transition Observability Models of computation
662	Towards a Belief-Based Theory of Repeated Games with Private Monitoring: An Application of POMDP∗ KANDORI, Michihiro Faculty of Economics University of Tokyo Add to Reading List Source URL: federation.ens.fr Language: English - Date: 2012-09-26 07:59:55 Markov processes Stochastic control Control theory Game theory Partially observable Markov decision process Finite-state machine Markov decision process Repeated game Statistics Automata theory Dynamic programming
663	Exact DFA Identification Using SAT Solvers Marijn J.H. Heule1, and Sicco Verwer2 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 07:36:36 Automata theory NP-complete problems Graph coloring Graph theory Boolean satisfiability problem Deterministic finite automaton Clique DFA Records Powerset construction Theoretical computer science Mathematics Applied mathematics
664	Using a satisfiability solver to identify deterministic finite state automata Marijn J.H. Heule Sicco Verwer Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-08-19 05:30:10 NP-complete problems Complexity classes Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Graph coloring SL NP-complete Theoretical computer science Mathematics Computational complexity theory
665	Journal of Machine Learning Research[removed]2185 Submitted 6/07; Revised 1/08; Published[removed]A Moment Bound for Multi-hinge Classifiers Bernadetta Tarigan Add to Reading List Source URL: jmlr.org Language: English - Date: 2008-10-23 14:54:09 Statistical theory Statistics Automata theory Probability and statistics Ordinary differential equations Mathematics Itō diffusion Representation theory of finite groups Entropy Information theory Randomness
666	Context-free coalgebras Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten January 20, 2013 Abstract In this article, we provide a coalgebraic account of parts of the mathematical theory underlying context-free lan Add to Reading List Source URL: oai.cwi.nl Language: English - Date: 2013-03-04 05:53:03 Algebra Algebraic structures Formal languages Semigroup theory Category theory Semiring Monoid Semiautomaton Regular language Abstract algebra Automata theory Mathematics
667	Anchors Sample Patterns ^ Add to Reading List Source URL: www.addedbytes.com Language: English - Date: 2014-08-20 05:15:31 Regular expressions Mathematics Computing Automata theory Hexadecimal Control character Pi Character Augmented Backus–Naur Form Mathematical analysis Formal languages Pattern matching
668	PIERRE TISSEUR, Trent University, Peterborough, Ontario Inequalities, equalities between spatial and temporal entropies of cellular automata A one-dimensional cellular automaton F is a dynamical system on a shift space X Add to Reading List Source URL: cms.math.ca Language: English - Date: 2006-07-08 22:16:22 Entropy Lyapunov exponent Invariant measure Automata theory Mathematics Theoretical computer science Statistics Dynamical systems Information theory Cellular automaton
669	Perl version[removed]documentation - perlreguts NAME perlreguts - Description of the Perl regular expression engine. DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:12:58 Regular expressions Formal languages Pattern matching Automata theory Perl TRE Switch statement Parsing Perl 6 rules Software engineering Computing Computer programming
670	arXiv:1104.1686v1 [math.LO] 9 Apr[removed]Categoricity for Patterns of Order 2 Timothy J. Carlson The Ohio State University, Columbus, OH[removed]USA email: [removed] Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-04-12 01:21:26 Algebraic number theory Mathematics Sylow theorems Ordinal number Constructible universe Automata theory

UPDATE